Y. Horihata; "Weak subsystems of first and second order arithmetic"
堀畑 佳宏の博士論文(らしい?)
3章に弱い連結の理論に関する降雪が載っている